Multi-valued logic programming semantics an algebraic approach
نویسندگان
چکیده
منابع مشابه
Multi-Valued Logic Programming Semantics: An Algebraic Approach
In this paper we introduce the notion of join irreducibility in the context of bilattices and present a procedural semantics for bilattice based logic programs which uses as its basis the join irreducible elements of the knowledge part of the bilattice The join irreducible elements in a bilattice represent the primitive bits of information present within the system In bilattices which have the ...
متن کاملMany-valued logic: beyond algebraic semantics
The last three decades have witnessed major advances in many-valued logic and related fields. The theory of Łukasiewicz logic and Chang’s MV-algebras has flourished, establishing profound connections with other fields of mathematics; Petr Hájek’s framework for mathematical fuzzy logic has met with remarkable success, bringing into focus the central rôle of residuation; and the algebraic analysi...
متن کاملOn Multi-valued Semantics for Logic Programs
Abstract: For a general program P, multi-valued interpretations and models are defined, considering a set of truth logic values and an undefined value. The program P may contain constant propositions, which are defined for each truth logic value. Two orderings between the set of all multi-valued interpretations are considered: one is Fitting ordering and the other is standard ordering. The sema...
متن کاملAn Algebraic Approach to Semantics of Programming Languages
An abstract language for a computer of van Neumann type is presented. This language is considered not only as a programming language, but as an algebraic one, whose semantics is defined by methods of model theory. Calculus of equivalencies of the abstract programs and techniques for solving equations within limits of this calculus are presented. An algebraic technique is described which allows ...
متن کاملMulti-adjoint Logic Programming with Continuous Semantics
Considering different implication operators, such as Lukasiewicz, Gödel or product implication in the same logic program, naturally leads to the allowance of several adjoint pairs in the lattice of truthvalues. In this paper we apply this idea to introduce multi-adjoint logic programs as an extension of monotonic logic programs. The continuity of the immediate consequences operators is proved a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1997
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(96)00126-0